Kripke-type semantics for G'3 and CG'3
نویسندگان
چکیده
In [10] Osorio et al. introduced a paraconsistent three-valued logic, the logic CG3 which was named after the logic G ′ 3 due to the close relation between them. Authors defined CG3 via the three-valued matrix that defines G3 but changing the set of designated truth values. In this article we present a brief study of the Kripke-type semantics for some logics related with CG3 before constructing a Kripke-type semantics for it.
منابع مشابه
Kripke Semantics for Basic Sequent Systems
We present a general method for providing Kripke semantics for the family of fully-structural multiple-conclusion propositional sequent systems. In particular, many well-known Kripke semantics for a variety of logics are easily obtained as special cases. This semantics is then used to obtain semantic characterizations of analytic sequent systems of this type, as well as of those admitting cut-a...
متن کاملHigher-Order Logic Programming Languages with Constraints: A Semantics
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic formal system, hoHH(C) (higher-order hereditary Harrop formulas with constraints), which extends λProlog’s logic, is shown sound and complete. A Kripke semantics for equational reasoning in the simply typed lambda-calcu...
متن کاملRefinement of Kripke Models for Dynamics
ions of the Muddy Children for n = 3 children. f (1) = f (2) = A, f (3) = 3 and g = Id . D3 /// means proposition D3 has valuation ? in the current state. Francien Dechesne, Yanjing Wang and Simona Orzan Refinement of Kripke Models for Dynamics Introduction Abstraction/Refinement and Logical Characterization An Example Conclusions Muddy Children Abstraction of n=3 case D1D2D3 /// D1D3 /// 3 A D...
متن کاملSemantical study of intuitionistic modal logics
We investigate several intuitionistic modal logics (IMLs), mainly from semantical viewpoint. In these decades, in the area of type theory for programming language, various type systems corresponding (via Curry-Howard correspondence) to IMLs have been considered. However, IMLs arising from such a context are not extensively studied before. We try to understand the logical meaning of such IMLs, a...
متن کاملCategorical and Kripke Semantics for Constructive S4 Modal Logic
We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic perspectives, but Kripke models for similar systems...
متن کامل